Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
41	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
42	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
43	2011 12th International Workshop on Microprocessor Test and Verification Automatic generation of software-based functional failing test for speed debug and on-silicon timing verification E. Sanchez , G. Squillero , A. Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2012-06-28 00:31:22 X86 instructions Parallel computing IBM PC compatibles MOV Celeron Nehalem Intel Core Multi-core processor Overclocking Computer architecture Computing Computer hardware
44	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
45	DESIGN VERIFICATION METHODOLOGY FOR SAFETY INSTRUMENTED SYSTEMS USED IN DOE NONREACTOR NUCLEAR FACILITIES Pranab K. Guha Office of Nuclear Safety Basis & Facility Design Office of Nuclear Safety Office of Environment, He Add to Reading List Source URL: www.efcog.org Language: English - Date: 2015-02-05 22:59:35 Risk Safety instrumented system Safety Integrity Level Functional Safety Reliability engineering SIL Silicon Integrated Systems Sis Redundancy Safety Security Prevention
46	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
47	Microsoft WordDEL-SP5- D543.57-Development and Testing of Traffic Mgmnt & Control Measures.docx Add to Reading List Source URL: www.ecomove-project.eu Language: English - Date: 2013-09-25 04:56:23 Systems engineering Science Simulation Technology Mathematical modeling VISSIM Aimsun Verification and validation Functional verification Traffic simulation Pharmaceutical industry Validity
48	Cooperative Mobility Systems and Services for Energy Efficiency D5.1 SP5 Use cases & System Add to Reading List Source URL: www.ecomove-project.eu Language: English - Date: 2012-07-11 08:33:12 Systems engineering Technology Business Product management Requirement Functional requirement Validation Verification and validation V-Model Software requirements Pharmaceutical industry Validity
49	Functional Programming and Verification Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-11-11 04:16:03 Functional languages Haskell Functional programming OCaml Lisp First-class function ML Clojure E Software engineering Computing Computer programming
50	Datasheet VCS AMS Mixed-Signal Verification Solution Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-29 10:15:29 Verilog-AMS SystemVerilog Verilog-A Verilog Synopsys SystemC Functional verification E System on a chip Electronic engineering Hardware description languages Electronic design automation